121. Automata, computability and complexity :
پدیدآورنده : Elaine Rich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
رده :
QA267
.
R53
2008
122. Bayes linear statistics
پدیدآورنده : / Michael Goldstein and David Wooff
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (تهران)
موضوع : Bayesian statistical decision theory,Linear systems,Computational complexity
رده :
QA279
.
5
.
G65
2007
123. Bayes linear statistics
پدیدآورنده : / Michael Goldstein and David Wooff
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Bayesian statistical decision theory,Linear systems,Computational complexity
رده :
QA279
.
5
.
G65
2007
124. Bayes linear statistics
پدیدآورنده : / Michael Goldstein and David Wooff
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Bayesian statistical decision theory,Linear systems,Computational complexity
رده :
QA279
.
5
.
G65
2007
125. Bayes linear statistics :theory and methods
پدیدآورنده : Goldstein, Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Bayesian statistical decision theory,، Linear systems,، Computational complexity
رده :
QA
279
.
5
.
G65
2007
126. Bayes linear statistics :theory and methods /Michael Goldstein and David Wooff.
پدیدآورنده : مولف
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Bayesian statistical decision theory.,Linear systems.,Computational complexity.
127. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده : Egon Börger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA9
.
56
E366
1992
128. Beyond the Second Law
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational complexity,Statistical physics,پیچیدگی محاسباتی,فیزیک آماری
رده :
E-Book
,
129. Boolean function complexity /
پدیدآورنده : edited by M.S. Paterson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean.,Computational complexity, Congresses.,Algebra, Boolean.,Boole, algèbre de-- Congrès.,Boolean-functions.,Boolesche Funktion,Complexité de calcul (Informatique)-- Congrès.,Computational complexity.,Komplexitätstheorie,MATHEMATICS-- Algebra-- General.
رده :
QA267
.
7
.
B66
1992eb
130. Boolean function complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computational complexity-- Congresses,، Algebra, Boolean
رده :
QA
267
.
7
.
B66
1992
131. Boolean function complexity
پدیدآورنده : edited by M.S. Paterson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity,Congresses ، Algebra, Boolean
رده :
QA
267
.
7
.
B6
132. Boolean function complexity : advances and frontiers
پدیدآورنده : Jukna, Stasys, 3591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational complexity,، Computer science -- Mathematics,، Combinatorial analysis
رده :
QA
267
.
7
.
J84B6
133. Boolean functions and computation models
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity ; Algebra, Boolean ;
134. Bounded Queries in Recursion Theory
پدیدآورنده : \ William 1. Gasarch, Georgia A. Martin
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Information theory,Computational complexity,کامپیوتر,نظریه اطلاعات,پیچیدگی محاسباتی,a03,a04,a05,a03,a04,a05
رده :
E-Book
,
135. Bounded Queries in Recursion Theory
پدیدآورنده : by William I. Gasarch, Georgia A. Martin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.
136. Bounded arithmetic /
پدیدآورنده : Samuel R. Buss
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Constructive mathematics
رده :
QA9
.
56
.
B87
1986
137. Bounded arithmetic
پدیدآورنده : Buss, Samuel R.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Constructive mathematics,، Computational complexity
رده :
QA
9
.
56
.
B87
1986
138. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constructive mathematics. ; Proposition (Logic) ; Computational complexity. ;
139. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده : Krajicek, Jan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Constructive mathematics,، Proposition )Logic(,، Computational complexity
رده :
QA
9
.
56
.
K7
140. Bounded queries in recursion theory
پدیدآورنده : Gasarch, William I.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational complexity,، Recursion theory
رده :
QA
267
.
7
.
G3